Graphical representation of covariant-contravariant modal formulae
نویسندگان
چکیده
منابع مشابه
Graphical representation of covariant-contravariant modal formulae
Covariant-contravariant simulation is a combination of standard (covariant) simulation, its contravariant counterpart and bisimulation. We have previously studied its logical characterization by means of the covariant-contravariant modal logic. Moreover, we have investigated the relationships between this model and that of modal transition systems, where two kinds of transitions (the so-called ...
متن کاملRelating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations
This paper studies the relationships between three notions of behavioural preorder that have been proposed in the literature: refinement over modal transition systems, and the covariant-contravariant simulation and the partial bisimulation preorders over labelled transition systems. It is shown that there are mutual translations between modal transition systems and labelled transition systems t...
متن کاملA graphical representation of relational formulae with complementation
The possibility to exploit map calculus for mechanical reasoning can be grasped from [8], where Tarski and Givant show how to reformulate most axiomatic systems of Set Theory as equational theories based on a relational language devoid of quantifiers. Map calculus [5] cannot represent per se an alternative to predicate calculus. As for expressive power, it corresponds in fact to a fragment of f...
متن کاملAdmissible Vectors of a Covariant Representation of a Dynamical System
In this paper, we introduce admissible vectors of covariant representations of a dynamical system which are extensions of the usual ones, and compare them with each other. Also, we give some sufficient conditions for a vector to be admissible vector of a covariant pair of a dynamical system. In addition, we show the existence of Parseval frames for some special subspaces of $L^2(G)$ related to...
متن کاملEquational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics
Covariant-contravariant simulation and conformance simulation generalize plain simulation and try to capture the fact that it is not always the case that ”the larger the number of behaviors, the better”. We have previously studied their logical characterizations and in this paper we present the axiomatizations of the preorders defined by the new simulation relations and their induced equivalenc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.64.1